Geometric Cone Surfaces and (2+1)- Gravity coupled to Particles

We introduce the (2+1)-spacetimes with compact space of genus g and with r gravitating particles which arise by ``Minkowskian suspensions of flat or hyperbolic cone surfaces'', by ``distinguished deformations'' of hyperbolic suspensions and by ``patchworking'' of suspensions. Similarly to the matter-free case, these spacetimes have nice properties with respect to the canonical Cosmological Time Function. When the values of the masses are sufficiently large and the cone points are suitably spaced, the distinguished deformations of hyperbolic suspensions determine a relevant open subset of the full parameter space; this open subset is homeomorphic to the product of an Euclidean space of dimension 6g-6+2r with an open subset of the Teichm\"uller Space of Riemann surfaces of genus g with r punctures. By patchworking of suspensions one can produce examples of spacetimes which are not distinguished deformations of any hyperbolic suspensions, although they have the same masses; in fact, we will guess that they belong to different connected components of the parameter space.Comment: 14 pages Late

Neural Relax

We present an algorithm for data preprocessing of an associative memory inspired to an electrostatic problem that turns out to have intimate relations with information maximization

Lyapunov Pairs in Semilinear Differential Problems with State-Dependent Impulses

n/

(2+1)-Dimensional Quantum Gravity as the Continuum Limit of Causal Dynamical Triangulations

We perform a non-perturbative sum over geometries in a (2+1)-dimensional quantum gravity model given in terms of Causal Dynamical Triangulations. Inspired by the concept of triangulations of product type introduced previously, we impose an additional notion of order on the discrete, causal geometries. This simplifies the combinatorial problem of counting geometries just enough to enable us to calculate the transfer matrix between boundary states labelled by the area of the spatial universe, as well as the corresponding quantum Hamiltonian of the continuum theory. This is the first time in dimension larger than two that a Hamiltonian has been derived from such a model by mainly analytical means, and opens the way for a better understanding of scaling and renormalization issues.Comment: 38 pages, 13 figure

Topological classification of black Hole: Generic Maxwell set and crease set of horizon

The crease set of an event horizon or a Cauchy horizon is an important object which determines qualitative properties of the horizon. In particular, it determines the possible topologies of the spatial sections of the horizon. By Fermat's principle in geometric optics, we relate the crease set and the Maxwell set of a smooth function in the context of singularity theory. We thereby give a classification of generic topological structure of the Maxwell sets and the generic topologies of the spatial section of the horizon.Comment: 22 pages, 6 figure

Fractal Structure of Loop Quantum Gravity

In this paper we have calculated the spectral dimension of loop quantum gravity (LQG) using simple arguments coming from the area spectrum at different length scales. We have obtained that the spectral dimension of the spatial section runs from 2 to 3, across a 1.5 phase, when the energy of a probe scalar field decrees from high to low energy. We have calculated the spectral dimension of the space-time also using results from spin-foam models, obtaining a 2-dimensional effective manifold at hight energy. Our result is consistent with other two approach to non perturbative quantum gravity: causal dynamical triangulation and asymptotic safety quantum gravity.Comment: 5 pages, 5 figure

Cosmological measurements, time and observables in (2+1)-dimensional gravity

We investigate the relation between measurements and the physical observables for vacuum spacetimes with compact spatial surfaces in (2+1)-gravity with vanishing cosmological constant. By considering an observer who emits lightrays that return to him at a later time, we obtain explicit expressions for several measurable quantities as functions on the physical phase space of the theory: the eigentime elapsed between the emission of a lightray and its return to the observer, the angles between the directions into which the light has to be emitted to return to the observer and the relative frequencies of the lightrays at their emission and return. This provides a framework in which conceptual questions about time, observables and measurements can be addressed. We analyse the properties of these measurements and their geometrical interpretation and show how they allow an observer to determine the values of the Wilson loop observables that parametrise the physical phase space of (2+1)-gravity. We discuss the role of time in the theory and demonstrate that the specification of an observer with respect to the spacetime's geometry amounts to a gauge fixing procedure yielding Dirac observables.Comment: 38 pages, 11 eps figures, typos corrected, references update

Geometry and observables in (2+1)-gravity

We review the geometrical properties of vacuum spacetimes in (2+1)-gravity with vanishing cosmological constant. We explain how these spacetimes are characterised as quotients of their universal cover by holonomies. We explain how this description can be used to clarify the geometrical interpretation of the fundamental physical variables of the theory, holonomies and Wilson loops. In particular, we discuss the role of Wilson loop observables as the generators of the two fundamental transformations that change the geometry of (2+1)-spacetimes, grafting and earthquake. We explain how these variables can be determined from realistic measurements by an observer in the spacetime.Comment: Talk given at 2nd School and Workshop on Quantum Gravity and Quantum Geometry (Corfu, September 13-20 2009); 10 pages, 13 eps figure

On QBF Proofs and Preprocessing

QBFs (quantified boolean formulas), which are a superset of propositional formulas, provide a canonical representation for PSPACE problems. To overcome the inherent complexity of QBF, significant effort has been invested in developing QBF solvers as well as the underlying proof systems. At the same time, formula preprocessing is crucial for the application of QBF solvers. This paper focuses on a missing link in currently-available technology: How to obtain a certificate (e.g. proof) for a formula that had been preprocessed before it was given to a solver? The paper targets a suite of commonly-used preprocessing techniques and shows how to reconstruct certificates for them. On the negative side, the paper discusses certain limitations of the currently-used proof systems in the light of preprocessing. The presented techniques were implemented and evaluated in the state-of-the-art QBF preprocessor bloqqer.Comment: LPAR 201